.aceCode {
  font-size: 9px !important;
}

.ace {
  border: 2px solid #EBEBEB;
  border-radius: 2px;
}

.ace.dark {
  border: 2px solid black;
}
